Digital Library


Search: "[ keyword: Specification of Semantics ]" (3)
    Formal Semantics for Processing Exceptions
    Jung Lan Han The KIPS Transactions:PartA, Vol. 17, No. 4, pp. 173-180, Aug. 2010
    10.3745/KIPSTA.2010.17.4.173

    Formal Semantics for Lambda Expression of Java
    Han Jung Lan KIPS Transactions on Computer and Communication Systems, Vol. 12, No. 5, pp. 157-164, May. 2023
    https://doi.org/10.3745/KTCCS.2023.12.5.157
    Keywords: Formal Semantics, Action Equation 3.0, Functional Interface, Specification of Semantics, Lambda Expression

    Formal Semantics Based on Action Equation 2.0 for Python
    Jung Lan Han KIPS Transactions on Computer and Communication Systems, Vol. 10, No. 6, pp. 163-172, Jun. 2021
    https://doi.org/10.3745/KTCCS.2021.10.6.163
    Keywords: Formal Semantics, Action Equation 2.0, Specification of Semantics, Python